Feeds to Scour
SubscribedAll
Scoured 15877 posts in 180.4 ms
Counterexample Classification against Signal Temporal Logic Specifications
arxiv.org·18h
⏰Temporal Logic
Preview
Report Post
Multi-Modal Program Verification in Velvet
proofsandintuitions.net·23h·
Discuss: Hacker News
⚖️Verification Calculi
Preview
Report Post
A flexible language model-assisted electronic design automation framework
arxiv.org·18h
⚡Circuit Design
Preview
Report Post
Feb 08 2026 : Intro to Soldering Workshop: Make an LED Tile
nycresistor.com·20h
⚙️DIY Electronics
Preview
Report Post
One ISA, Infinite Use Cases: RISC-V and the Road to Workload-Specific Silicon
riscv.org·4h
🧲RISC-V Preservation
Preview
Report Post
Can We Build an NX Bit for LLMs
bogdandeac.com·1d·
Discuss: Hacker News
🖥️Modern Terminals
Preview
Report Post
**Abstract:** This paper introduces a novel approach to automated proof verification within quantifiable type theory, significantly exceeding existing capaci...
freederia.com·4d
👑Coq Tactics
Preview
Report Post
OnLogic CL260: Palm-Sized Industrial PC Built for Scalable Edge Deployments
storagereview.com·9h
🏠HomeLab
Preview
Report Post
Don't Trip[wire] Yourself: Testing Error Recovery in Zig
mitchellh.com·23h
🛡️Error Boundaries
Preview
Report Post
Gödel, Turing, and AI： the Incomplete Space in Post-AI Architecture
jimiwen.substack.com·23h·
Discuss: Substack
🔲Cellular Automata
Preview
Report Post
On the way to step functions: the two worlds
blog.julik.nl·1d
🐚Shell Calculus
Preview
Report Post
Human-Aligned Decision Transformers for planetary geology survey missions with zero-trust governance guarantees
dev.to·2h·
Discuss: DEV
🤝Consensus Networks
Preview
Report Post
CodeSOD: Well Timed Double Checking
thedailywtf.com·1d
🧪Binary Fuzzing
Preview
Report Post
Amazon shopping automation without vision: verification gate+local model (3B)
news.ycombinator.com·8h·
Discuss: Hacker News
📏Linear Logic
Preview
Report Post
Every Mini PC & SFF Hardware Announced at CES 2026
williamlam.com·8h
🖥️Terminal Renaissance
Preview
Report Post
bloomberg/crane: A new extraction system from Rocq to functional-style, memory-safe, thread-safe, readable, valid, performant, and modern C++.
github.com·1d·
Discuss: Lobsters
🦀Rust Macros
Preview
Report Post
BPF Verifier State Pruning: Timeline
pchaigno.github.io·1d
🛡️Archive Verification
Preview
Report Post
Modernizing Legacy C Systems: Safe Rust Integration Without Complete Rewrites
dev.to·9h·
Discuss: DEV
🦀Embedded Rust
Preview
Report Post
Leaving 1X
evjang.com·23h
🐚Shell Calculus
Preview
Report Post
Subterms Modulo Theories I
philipzucker.com·2d
🎯Automata theory
Preview
Report Post

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help